2

Kodaira Type Vanishing Theorem for the Hirokado Variety

Year:
2014
Language:
english
File:
PDF, 152 KB
english, 2014
3

Defining concurrent processes constructively

Year:
1994
Language:
english
File:
PDF, 1.64 MB
english, 1994
4

Generalized complete intersections with linear resolutions

Year:
2008
Language:
english
File:
PDF, 170 KB
english, 2008
8

On non-vanishing of cohomologies of generalized Raynaud polarized surfaces

Year:
2010
Language:
english
File:
PDF, 633 KB
english, 2010
9

QPC2: A constructive calculus with parameterized specifications

Year:
1993
Language:
english
File:
PDF, 1.44 MB
english, 1993
10

Extraction of redundancy-free programs from constructive natural deduction proofs

Year:
1991
Language:
english
File:
PDF, 1.85 MB
english, 1991
16

10.4164/sptj.15.347

Year:
1978
File:
PDF, 7.19 MB
1978
17

10.4164/sptj.16.331

Year:
1979
File:
PDF, 730 KB
1979